1. Assertion-Based Design
پدیدآورنده : \ Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)
رده :
E-Book
,
2. Assertion-based design
پدیدآورنده : / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
E-BOOK
3. Assertion-based design
پدیدآورنده : / Harry Foster, Adam Krolnik, David Lacey
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)
رده :
TK7874
.
75
F68
2004
4. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
5. Formal hardware verification : methods and systems in comparison
پدیدآورنده : Thomas Kropf, )ed.(
کتابخانه: (طهران)
موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
6. Formal verification :
پدیدآورنده : Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
7. Formal verification : an essential toolkit for modern VLSI design
پدیدآورنده : Seligman, Erik
کتابخانه: (طهران)
موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
8. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: (طهران)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
9. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
10. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
11. System specification and design languages
پدیدآورنده : Tom J. Kaźmierski, Adam Morawiec, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
12. System specification & design languages :
پدیدآورنده : edited by Eugenio Villar, Jean Mermet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.
رده :
TK7885
.
7
E358
2003
13. Trace-Based Post-Silicon Validation for VLSI Circuits
پدیدآورنده : \ Xiao Liu, Qiang Xu
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
14. Trace-based post-silicon validation for VLSI circuits
پدیدآورنده : / by Xiao Liu, Qiang Xu
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors
رده :
E-BOOK
15. Trace-based post-silicon validation for VLSI circuits
پدیدآورنده : Liu, Xiao, by Xiao Liu, Qiang Xu
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Very large scale integration Design and construction ، Integrated circuits,Verification ، Integrated circuits
رده :
TK7874
.
L58
2014
16. VLSI design and test for systems dependability /
پدیدآورنده : Shojiro Asai, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK7874
